We construct a computable vector space with the trivial computable automorphism group, but with the dependence relations as complicated as possible, measured by their Turing degrees. As a corollary, we answer a question asked by A.S. Morozov in [Rigid constructive modules, Algebra and Logic, 28 570–583 ; 379–387 ].

Cohesive powersof computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let$\omega $,$\zeta $, and$\eta $denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of$\omega $. If$\mathcal {L}$is a computable copy of$\omega $that is computably isomorphic to the usual presentation of$\omega $, then every cohesive power of$\mathcal {L}$has order-type$\omega + (...) \zeta \eta $. However, there are computable copies of$\omega $, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to$\omega + \zeta \eta $. For example, we show that there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \eta $. Our most general result is that if$X \subseteq \mathbb {N} \setminus \{0\}$is a Boolean combination of$\Sigma _2$sets, thought of as a set of finite order-types, then there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$, where$\boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$denotes the shuffle of the order-types inXand the order-type$\omega + \zeta \eta + \omega ^*$. Furthermore, ifXis finite and non-empty, then there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \boldsymbol {\sigma }(X)$. (shrink)

Let I be a quasimaximal subset of a computable basis of the fully efective vector space V ∞ . We give a necessary and sufficient condition for the existence of an isomorphism between the principal filter respectivelly. We construct both quasimaximal sets that satisfy and quasimaximal sets that do not satisfy this condition. With the latter we obtain a negative answer to Question 5.4 posed by Downey and Remmel in [3].

Let I0 be a a computable basis of the fully effective vector space V∞ over the computable field F. Let I be a quasimaximal subset of I0 that is the intersection of n maximal subsets of the same 1-degree up to *. We prove that the principal filter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V,\uparrow )}$$\end{document} of V = cl(I) is isomorphic to the lattice \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}(n, \overline{F})}$$\end{document} of subspaces (...) of an n-dimensional space over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{F}}$$\end{document}, a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma _{3}^{0}}$$\end{document} extension of F. As a corollary of this and the main result of Dimitrov (Math Log 43:415–424, 2004) we prove that any finite product of the lattices \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\mathcal{L}(n_{i}, \overline{F }_{i}))_{i=1}^{k}}$$\end{document} is isomorphic to a principal filter of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{ L}^{\ast}(V_{\infty})}$$\end{document}. We thus answer Question 5.3 “What are the principal filters of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}^{\ast}(V_{\infty})?}$$\end{document} ” posed by Downey and Remmel (Computable algebras and closure systems: coding properties, handbook of recursive mathematics, vol 2, pp 977–1039, Stud Log Found Math, vol 139, North-Holland, Amsterdam, 1998) for spaces that are closures of quasimaximal sets. (shrink)

This review presents first ever literature survey on historical development of farm animal welfare indicators and assessment in the Danube region. This area, encompassing European Eastern countries and the Balkans, is to a large extent heterogeneous in terms of culture and language. However, international publications were disproportionally small compared to the amount of research institutions and animal welfare activities present in the region. Therefore, the authors aimed at investigating the published literature, focusing on country level and on native languages. Data (...) were collected for the 1980–2015 period referring to scientific papers published in international and national journals, papers and abstracts in proceedings of the international and national conferences, reviews, monographs, short communications, Ph.D., Master and Graduation theses. Welfare assessment of all farm animal species was observed including fish. Over 180 papers were in line with the preselected index. Data collected showed that publishing dynamics grew rapidly towards the last decade. Most of the studies were focused on animal welfare indicators such as stress, injuries and mutilations, behaviour, body condition and management practices. Cattle, chickens, pigs and sheep were the predominant species investigated. The study revealed that experts from the region were greatly involved in the studies of animal welfare indicators and assessment, contributing to development of the currently most widely used animal welfare assessment protocols, thus having an important role in animal welfare research and protection. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

In this paper I respond to Robert Taylor's argument that a Rawlsian framework does not support strong affirmative action programs. The paper makes three main arguments. The first disputes Taylor's claim that strong AA would not be needed in ideal conditions. Private racial discrimination, I suggest, might still exist in such conditions, so strong AA might be needed there. The second challenges Taylor's claims that pure procedural justice constrains Rawlsian nonideal theory. I argue that this rests on a fetishizing of (...) pure procedural justice that is absent from Rawls's work. I also show that a revised formulation of Taylor's concern here also fails. My third argument makes a positive Rawlsian case for strong AA in nonideal conditions that builds on a Taylor concession. Taylor suggests that the goal of nonideal theory is to create a world in which ideal theory can be applied. My argument begins by showing that another permissible goal of Rawlsian nonideal theory is to ameliorate injustice. I then argue that Rawls's contractualist framework supports the strongest forms of AA when category 3 interventions are blocked. (shrink)

Open peer commentary on the article “Sensorimotor Direct Realism: How We Enact Our World” by Michael Beaton. Upshot: In light of the construal of sensorimotor theory offered by the target article, this commentary examines the role the theory should admit for internal representation.

As the extent our impact on the environment becomes ever more clear, the search for ways to limit or even remedy some negative effects of our actions broadens. From science to religion, scholars in almost every field have been working hard to try to contribute to a healthier relationship between human beings and the natural world. In the humanities the issue is somewhat difficult. Because the topic is relatively new, there are few thinkers or traditions that deal with relevant environmental (...) problems. One of the traditions that has been popularly associated with discussions of environmentally friendly philosophies is Daoism. In fact, the word Daoism, or dao jia in Chinese, takes dao as central for its philosophy. In the daodejing, dao is given an ontological priority that makes it sound something like “nature” and would thereby provide an early Chinese model for environmentalism. The difficulty is, however, that dao can never be separated from anything in the world, including humans, which means that it cannot be understood as a nature that may provide ethical or moral guides for how one should behave. Strictly speaking, there is no classical Chinese equivalent to the nature of modern ecology. But this does not result in a dead end for environmentalist readings of Daoist texts. In fact, viewed from the perspective of using things, and how people interact with tools and consider profits, it is precisely because the Daoist have no conception of “nature” that they have so much to offer environmentalism. (shrink)

I argue that an ambiguity exists between Philip Pettit's largely normative and Quentin Skinner's largely historical accounts of republican liberty. Historical republican liberty, as seen in Livy's narrative of the period following the expulsion of the Roman kings to the passage of the Licinian-Sextian laws, was largely defensive, in the form of the tribunate. Though republican liberty protected the plebeians from wanton patrician abuse, removing them from a formal dependence analogous to that of slave or child in Roman law, it (...) left them under the tutelage and guidance of a paternalistic order. Thus, while historical republican liberty was anti-patriarchal, it was normatively compatible with paternalism. Yet paternalism is probably undesirable for both normatively- and historically-minded advocates of republicanism. (shrink)

Guidelines for a model bride in Islam based on Islamic teachings; includes stories of six exemplary Muslim wives during Prophet Muhammad's time.

I welcome Mr Kennedy's general approach, but query whether the concept of consumerism is so closely applicable to medical care as he maintains. However, in particular aspects, especially the handling of complaints, his criticisms echo those made by the Patients Association. Finally, I detect some ground for hope in the more enlightened attitude creeping in to the eduction of the medical student.

Arab countries; intellectual life; 20th century.

The National Conference of Catholic Bishops has argued for significant government involvement in health care in order to assure respect for what they regard as the right to health care. Critics charge that the bishops are wrong because health care is not a right. In this article, it is argued that these critics are correct in their claim that health care is not a right. However, it is also argued that the premise that health care is not a right does (...) not imply that the market is the most equitable and just system for providing health care. Natural law arguments in the tradition of Roman Catholic social teaching lead to the conclusion that a just and prosperous society has a moral obligation to provide health care even if there is no such right. Further, there are strong moral grounds for concluding that the bishops are correct in their claim that health care ought not to be considered a market commodity. It is argued that if health care ought not to be considered a commodity, then national health insurance is the best available alternative for fulfilling the social obligation to distribute health care resources justly and fairly at this time in American history. The bishops' case for government involvement can be made on the strength of the Catholic tradition in theological argumentation, independent of the claim that health care is a right. (shrink)

In BioEssays, vol. I. no. 5, p. 227, P. A. Lawrence discussed the selector gene hypothesis and its implications for development. In the following article, D. Gubb presents an alternative view of the genetic control of development.